"Dennis Dams" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Dennis Dams, Ulrich Hannemann, Martin Steffen

Категория: Компьютеры

5.37 Mb

#2

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

Ana Cavalcanti; Dennis Dams

Категория: Cs_Computer science, CsLn_Lecture notes

10.19 Mb

#3

Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s

Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek

Категория: CsLn_

2.48 Mb

#4

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Dennis Dams, Ulrich Hannemann, Martin Steffen

5.49 Mb